functorial morphism

函子的射